Skip to main content

Full text of "Treatise On Analysis Vol-Ii"

See other formats


(15.4.7)    Let E be a complex Hilbert space. Then the Banach algebra
A = ?() (15.1.6) is a star algebra with respect to the involution wh-w*

Hilbert-Schmidt Operators

(15.4.8)    Let E be an infinite-dimensional separable complex Hilbert space.
An operator u e ? (E) is said to be a Hilbert-Schmidt operator if, for one
choice of a Hilbert basis (#), the series with general term |lw(<2n)||2 is con-
vergent. If (&) is another Hilbert basis of E, then ||w(an)||2 =  \(u(an) I *m)l2


by Parseval's identity (6.5.2), and therefore the series  l|w(an)||2 converges


if and only if the  double family   (\(u(an)\bm)\2)  *s   summable   (5.3.4).

by Parseval's identity. Hence an equivalent condition is that the series with
general term || u*(bn)\\2 should be convergent. It follows that, if w is a Hilbert-
Schmidt operator, the series with general term ||w(^)||2 converges for all
choices of the Hilbert basis (#), that w* is a Hilbert-Schmidt operator, and
that the number

(                       Nl2 = (III(a)lrl      =II"*II2

is independent of the Hilbert basis (an) chosen. We shall show that the set
J*?2(E) of Hilbert-Schmidt operators is an algebra, on which \\u\\2 is a norm,
and that, endowed with this norm and the involution u\u*, the algebra
j*?2(E) is a Banach algebra with involution, without unit element.

The fact that w is a Hilbert-Schmidt operator also means that, if (an) is
any Hilbert basis of E, the sequence (||w(#n)||) eRN belongs to the Hilbert
space /R (6.5), and the norm of this sequence in / is equal to ||w||2. If
u, i?eJ$?2(E), then the inequality \\(u + v)(an)\\ <jj \\u(an)\\ + \\v(an)\\ and the
preceding remark show that u H- v e J^2(E) and that \\u + v\\2 ^ \\u\\2 + ||u||2.
Clearly also Aw e &2(E) for all A e C, and ||Aw||2 = |A|  \\tt\\2.

For every continuous operator w e J(E), the operator w o u is a Hilbert-
Schmidt operator, by reason of the inequality

l|H<w(0B))|| < ||w||  \\u(an)\\
(5.5.1), and we have

(                               l|woW||2g ||w||  ||w||2.1,